Logics for generally were introduced for handling assertions with vague notions,such as generally, most, several, etc., by generalized quantifiers, ultrafilter logic being an interesting case. Here, we show that ultrafilter logic can be faithfully embedded into a first-order theory of certain functions, called coherent. We also use generic functions (akin to Skolem functions) to enable elimination of the generalized quantifier. These devices permit using methods for classical first-order logic to reason about consequence in ultrafilter logic.

As gravuras impressas no periódico setecentista Academia dos Humildes e Ignorantes são, neste estudo, fonte para procurar saber quem eram os seus impressores, quantas edições se podem localizar desta obra e qual era o acolhimento por parte do público. As gravuras, sendo um elemento informativo que passa normalmente despercebido, permitem conhecer melhor o próprio periódico onde são publicadas e, assim, perceber o modo como se afirma esse género novo que era o das publicações periódicas de conteúdo cultural e informativo e (...) o papel que estas publicações têm no desenvolvimento da tipografia em Portugal no século XVIII. (shrink)

A theory of magnitudes involves criteria for their comparison, equivalence and addition. We examine these aspects from an abstract viewpoint, stressing independence and definability. These considerations are triggered by the so-called De Zolt’s principle in the theory of equivalence of plane polygons.

A lógica não contém teoremas puramente existenciais: as únicas sentenças existenciaisválidas são aquelas com análogas universais válidas. Aqui, mostramos que istorealmente é assim quando corretamente interpretado: toda validade ex- istencial possuiuma análoga universal simples, que também é válida. Também caracterizamos validadesuniversais e existenciais em termos de tautologias.

It is part of an old folklore that logic should not have existential theo- rems or existential validities. One should not prove in pure logic the existence of anything whatsoever; nothing could be proved by means of logic alone to necessarily exist. Whatever exists might not exist. This standpoint has been expressed by several philosophers from different traditions, such as Hume, Kant, Orenstein and Quine. We now set the stage by examining some issues. Our main question is: “Do we actually (...) have existential theorems in logic?” Two possible attitudes towards this question are as follows. A desideratum: logic should not have any existential theorems. A fact: logic does not have any existential theorems. (shrink)

We compare fork arrow logic, an extension of arrow logic, and its natural first-order counterpart (the correspondence language) and show that both have the same expressive power. Arrow logic is a modal logic for reasoning about arrow structures, its expressive power is limited to a bounded fragment of first-order logic. Fork arrow logic is obtained by adding to arrow logic the fork modality (related to parallelism and synchronization). As a result, fork arrow logic attains the expressive power of its first-order (...) correspondence language, so both can express the same input–output behavior of processes. (shrink)

MORCILLO, MARTA GARCÍA. LAS VENTAS POR SUBASTA EN EL MUNDO ROMANO: LA ESFERA PRIVADA. Barcelona, Universidad de Barcelona, 2005, 372 pp.

Michel Fattal, da Sociedade Platônica Internacional, é professor na Universidade de Grenoble, França, autor de uma dezena de livros sobre o tema do logos, tanto na Filosofia grega, como na sua recepção medieval. Neste novo livro, propõe-se a refletir sobre as diferentes formas de racionalidade, entre a Antiguidade e a Idade Média, com estudos sobre Luciano de Samósata, Parmênides, Platão, Plotino e Santo Anselmo.

In recent years, there has been a growing interest in the application of foundational ontologies, i.e., formal ontological theories in the philosophical sense, to provide a theoretically sound foun...

O renomado poeta, escritor, teatrólogo e estudioso dos autores clássicos, Angelo Tonelli apresenta uma coletânea, no original, traduzida e comentada, dos fragmentos de Heráclito, o pensador de Éfeso (ca. 540-475 a.C.). A grande novidade da obra de Tonelli consiste na recuperação, em termos hermenêuticos, do contexto oriental do pensamento de Heráclito. Já na introdução, Tonelli retoma as dicotomias Oriente/Ocidente, mistérios órficos-dionisíacos/espírito apolíneo, contemplação/ação, para mostrar como o pensador de Éfeso procurou superar tais oposições. Começa seu estudo com as tabuinhas encontradas (...) em Ólbia, cuja datação é incerta, mas que propõe serem anteriores a Heráclito e que, portanto, sugerem uma origem nos mistérios para a sabedoria de Heráclito. (shrink)

Review of MONTEL, S.; POLLINI, A. La question de l’espace au IVe siècle Avant J-C. dans le mondes grec et étrusco-italique: continuité, ruptures, reprises. Strasbourg, Presses Universitaires de Franche-Comté.

O artigo critica a posição filosófica neopirrônica defendida por Oswaldo Porchat Pereira (Porchat 5). Argumentamos que uma de suas noções básicas, a de fenômeno, carece de uma definição apropriada. Além disso, mostramos que o neopirronismo abre as portas para o irracionalismo e que a ciência moderna traz problemas para essa postura.

The Unified Foundational Ontology (UFO) was developed over the last two decades by consistently putting together theories from areas such as formal ontology in philosophy, cognitive science, linguistics, and philosophical logics. It comprises a number of micro-theories addressing fundamental conceptual modeling notions, including entity types and relationship types. The aim of this paper is to summarize the current state of UFO, presenting a formalization of the ontology, along with the analysis of a number of cases to illustrate the application of (...) UFO and facilitate its comparison with other foundational ontologies in this special issue. (The cases originate from the First FOUST Workshop – the Foundational Stance, an international forum dedicated to Foundational Ontology research.). (shrink)

A theory of magnitudes involves criteria for their equivalence, comparison and addition. In this article we examine these aspects from an abstract viewpoint, by focusing on the so-called De Zolt’s postulate in the theory of equivalence of plane polygons (“If a polygon is divided into polygonal parts in any given way, then the union of all but one of these parts is not equivalent to the given polygon”). We formulate an abstract version of this postulate and derive it from some (...) selected principles for magnitudes. We also formulate and derive an abstract version of Euclid’s Common Notion 5 (“The whole is greater than the part”), and analyze its logical relation to the former proposition. These results prove to be relevant for the clarification of some key conceptual aspects of Hilbert’s proof of De Zolt’s postulate, in his classicalFoundations of Geometry(1899). Furthermore, our abstract treatment of this central proposition provides interesting insights for the development of a well-behaved theory ofcompatiblemagnitudes. (shrink)

This paper analyzes the theory of area developed by Euclid in the Elements and its modern reinterpretation in Hilbert’s influential monograph Foundations of Geometry. Particular attention is bestowed upon the role that two specific principles play in these theories, namely the famous common notion 5 and the geometrical proposition known as De Zolt’s postulate. On the one hand, we argue that an adequate elucidation of how these two principles are conceptually related in the theories of Euclid and Hilbert is highly (...) relevant for a better understanding of the respective geometrical practices. On the other hand, we claim that these conceptual relations unveil interesting issues between the two main contemporary approaches to the study of area of plane rectilinear figures, i.e., the geometrical approach consisting in the geometrical theory of equivalence and the metrical approach based on the notion of measure of area. Finally, in an appendix logical relations among equivalence, comparison and addition of magnitudes are examined schematically in an abstract setting. (shrink)

Enterprise Risk Management involves the process of identification, evaluation, treatment, and communication regarding risks throughout the enterprise. To support the tasks associated with this process, several frameworks and modeling languages have been proposed, such as the Risk and Security Overlay (RSO) of ArchiMate. An ontological investigation of this artifact would reveal its adequacy, capabilities, and limitations w.r.t. the domain of risk and security. Based on that, a language redesign can be proposed as a refinement. Such analysis and redesign have been (...) executed for the risk elements of the RSO grounded in the Common Ontology of Value and Risk. The next step along this line of research is to address the following research problems: What would be the outcome of an ontological analysis of security-related elements of the RSO? That is, can we identify other semantic deficiencies in the RSO through an ontological analysis? Once such an analysis is provided, can we redesign the security elements of the RSO accordingly, in order to produce an improved artifact? Here, with the aid of the Reference Ontology for Security Engineering (ROSE) and the ontological theory of prevention behind it, we address the remaining gap by proceeding with an ontological analysis of the security-related constructs of the RSO. The outcome of this assessment is an ontology-based redesign of the ArchiMate language regarding security modeling. In a nutshell, we report the following contributions: (1) an ontological analysis of the RSO that identifies six limitations concerning security modeling; (2) because of the key role of the notion of prevention in security modeling, the introduction of the ontological theory of prevention in ArchiMate; (3) a well-founded redesign of security elements of ArchiMate; and (4) ontology-based security modeling patterns that are logical consequences of our proposal of redesign due to its underlying ontology of security. As a form of evaluation, we show that our proposal can describe risk treatment options, according to ISO 31000. Finally, besides presenting multiple examples, we proceed with a real-world illustrative application taken from the cybersecurity domain. (shrink)

Enterprise Risk Management and security have become a fundamental part of Enterprise Architecture, so several frameworks and modeling languages have been designed to support the activities associated with these areas. Archi- Mate’s Risk and Security Overlay is one of such proposals, endorsed by The Open Group. We investigate the capabilities of the proposed security-related con- structs in ArchiMate with regard to the necessities of enterprise security modeling. Our analysis relies on a well-founded reference ontology of security to uncover ambiguity, missing (...) modeling elements, and other deficiencies of the security mod- eling capabilities in ArchiMate. Based on this ontologically-founded analysis, we propose a redesign of security aspects of ArchiMate to overcome its original limitations. (shrink)

In this paper we show that the class of fork squares has a complete orthodox axiomatization in fork arrow logic (FAL). This result may be seen as an orthodox counterpart of Venema's non-orthodox axiomatization for the class of squares in arrow logic. FAL is the modal logic of fork algebras (FAs) just as arrow logic is the modal logic of relation algebras (RAs). FAs extend RAs by a binary fork operator and are axiomatized by adding three equations to RAs equational (...) axiomatization. A proper FA is an algebra of relations where the fork is induced by an injective operation coding pair formation. In contrast to RAs, FAs are representable by proper ones and their equational theory has the expressive power of full first-order logic. A square semantics (the set of arrows is ᵎ x ᵎ for some set ᵎ) for arrow logic was defined by Y. Venema. Due to the negative results about the finite axiomatizability of representable RAs, Venema provided a non-orthodox finite axiomatization for arrow logic by adding a new rule governing the applications of a difference operator. We address here the question of extending the type of relational structures to define orthodox axiomatizations for the class of squares. Given the connections between this problem and the finitization problem addressed by I. Németi, we suspect that this cannot be done by using only logical operations. The modal version of the FA equations provides an orthodox axiomatization for FAL which is complete in view of the representability of FAs. Here we review this result and carry it further to prove that this orthodox axiomatization for FAL also axiomatizes the class of fork squares. (shrink)

Portugal ranks fourth among countries with the highest rate of overweight population, considering that 67.6% of the Portuguese population over the age of 15 is overweight or obese. To our knowledge, limited studies have investigated students’ attitudes toward physical education in Portugal. Such research is necessary because it can provide valuable insights for policy and application in the curriculum development for physical education, which may eventually increase participation in physical and sports activities. This study analyzed students’ attitudes toward physical education (...) (PE) according to sociodemographic variables, including grade level, socioeconomic status, and gender, and their participation in extracurricular sports activities and respective PE grades. The sample comprised 476 high school students (from the 7th, 8th, and 9th-grade levels) from five public schools located in Portugal. The Students’ Attitudes toward Physical Education Questionnaire was adapted and validated for use with Portuguese students as a two-factor model. Findings show that students generally have a moderately positive attitude toward PE. However, students’ positive attitudes tend to decrease throughout high school, which is particularly significant in the 9th grade. Furthermore, students’ attitudes are influenced by gender, extracurricular sports practice, and grades. These findings may help stakeholders reflect on how to frame PE in a more meaningful way to create a solid foundation for maintaining an active lifestyle throughout life. Implications for further research and practice are discussed. (shrink)

Morality has traditionally been described in terms of an impartial and objective “moral law”, and moral psychological research has largely followed in this vein, focusing on abstract moral judgments. But might our moral judgments be shaped not just by what the action is, but who is doing it? We looked at ratings of moral wrongness, manipulating whether the person doing the action was a friend, a refugee, or a stranger. We looked at these ratings across various moral foundations, and conducted (...) the study in Brazil, US, and UK samples. Our most robust and consistent findings are that purity violations were judged more harshly when committed by ingroup members and less harshly when committed by the refugees in comparison to the unspecified agents, the difference between refugee and unspecified agents decays from liberals to conservatives, i.e., conservatives judge them more harshly than liberals do, and Brazilians participants are harsher than the US and UK participants. Our results suggest that purity violations are judged differently according to who committed them and according to the political ideology of the judges. We discuss the findings in light of various theories of groups dynamics, such as moral hypocrisy, moral disengagement, and the black sheep effect. (shrink)

Famous Brazilian educational and social theorist Paulo Freire presents his ideas on community solidarity in moving toward social justice in schools and society in a set of talks and interviews shortly before his death, supplemented with ...

In 1923, Sir Arthur Keith proposed that many common back problems are due to the stresses caused by our evolutionarily novel form of locomotion, bipedalism. In this article, we introduce an updated version of Keith’s hypothesis with a focus on acquired spinal conditions. We begin by outlining the main ways in which the human spine differs from those of our closest living relatives, the great apes. We then review evidence suggesting there is a link between spinal and vertebral shape on (...) the one hand and acquired spinal conditions on the other. Next, we discuss recent studies that not only indicate that two common acquired spinal conditions—intervertebral disc herniation and spondylolysis—are associated with vertebral shape, but also suggest that the pathology-prone vertebral shapes can be understood in terms of the shift from quadrupedalism to bipedalism in the course of human evolution. Subsequently, we place the aforementioned findings under an umbrella hypothesis, which we call the “Evolutionary Shape Hypothesis.” This hypothesis contends that individuals differ in their propensity to develop different acquired spinal conditions because of differences in vertebral shape that relate to the evolutionary history of our species. We end the article with some possible directions for future research. (shrink)

Mentoring the Mentor recreates a Freirian dialogue in a printed format. In this volume, sixteen distinguished scholars engage in a critical and thoughtful exchange with Paulo Freire. While some contributors voice appreciation for Freire's ideas and for what it means to «reinvent Freire» in a North American context, others offer sharp critiques of Freire's philosophy and, of equal importance, of the various interpretations of his work. A variety of chapters describe specific uses which have been made of Freire's ideas (...) in diverse educational contexts, from the New York City public schools to the revolutions in Guinea Bissau and Eritrea. Finally, Paulo Freire himself responds to the major issues which are raised in the volume and invites readers to share in a continuing lively dialogue about the meaning of democratic and revolutionary education. «The fundamental task of the mentor is a liberatory task. It is not to encourage the mentor's goals and aspirations and dreams to be reproduced in the mentees, the students, but to give rise to the possibility that the students become the owners of their own history. This is how I understand the need that teachers have to transcend their merely instructive task and to assume the ethical posture of a mentor who truly believes in the total autonomy, freedom, and development of those he or she mentors.» (from Chapter Sixteen, «A Response» by Paulo Freire). (shrink)

These readings have been chosen by Ana Maria Araujo Freire and Donaldo Macedo, who also provide a cogent introduction to the life and times: -- From Pedagogy of the Oppressed, The Fear of Freedom, The "Banking" Concept of Education -- From Education for Critical Consciousness, Education and Conscientizacao -- From Pedagogy in Process, the introduction -- A dialogue between Freire and Macedo, Literacy in Guinea-Bissau Revisited -- Selections from Learning to Question -- From Pedagogy of the City, The Challenges of (...) Urban Education -- From Pedagogy of Hope, A Further "Reading of the World" -- Selections from Pedagogy of the Heart. (shrink)

Discusses the role of education in liberating the oppressed people of the Third World.

Paulo Margutti e José Crisóstomo discutem sobre a possiblidade ou a impossibilidade de ultrapassar o representacionismo correspondentista e principalmente o eventual linguocentrismo da filosofia contemporânea, pós-virada linguística, em que parece que da linguagem pode-se passar apenas à linguagem, a cujo círculo mágico estaríamos, desse modo, inevitavelmente presos. Sendo assim, o mundo “aí fora” novamente nos escapa e o relativismo, o agnosticismo e o ceticismo de novo nos espreitam. Em Nietzsche, é a linguagem, sempre metafórica, que se adéqua aos nossos (...) modos prático-perspectivistas, corpóreos e afetivos, de “recortar” o mundo, ou é o contrário? E em Maturana, o que vem primeiro? Para Crisóstomo, para quem no começo está o ato, ultrapassamos tudo isso através de nosso emaranhamento prático com o mundo, por meio da natureza sensível criativa de nossas práticas e pela tradução de crenças em condutas. Enquanto que, para Margutti, nada disso parece deslocar a primazia incontornável da linguagem, como prática ela própria. Sobre isso, Margutti pergunta pelo suposto aproveitamento, por Crisóstomo, no seu ponto de vista prático-poiético criativo, em versão alegadamente não idealista nem dualista, da noção de autoconsciência, central no idealismo alemão. (shrink)

The “new” paradigm proposed by Shanker & King is neither new nor a significant advance in our understanding of communication. Although we agree that social interaction is important, ignoring the roles of mental processes and the significance of information exchange is theoretically dangerous. Moreover, the “communicative dance” is sequential. If one partner does not lead, how is the other to follow?